package Kernel;

public class Arc_P2T extends Arc {
	
	public Arc_P2T(Place p, Transition t){
		super(p,t);
	}
	public Arc_P2T(Place p, Transition t, long weight){
		super(p,t,weight);
	}
	
	public boolean Check_State() {
		return p.GetMarking() >= this.weight;
	}
	
	public void Fire() {
		p.FireToken(this.weight);
	}
	
}
